/*
 * ToolsRemoteIS.java
 *
 * Created on 4 juin 2007, 23:54
 *
 * To change this template, choose Tools | Template Manager
 * and open the template in the editor.
 */

package bibliotheque.client.remote;

import java.rmi.Remote;
import java.rmi.RemoteException;
import java.util.ArrayList;

/**
 *
 * @author guillaume
 */
public interface ToolsRemoteIS extends Remote{
    public void SetPingResult(ArrayList<String> pingResult) throws RemoteException;
}
